#!/bin/bash

SHDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
DIR="$(dirname $SHDIR)"

SRC="$(dirname $DIR)"
RVMASTER="$(dirname $SRC)"

function startup() {
	source devel/setup.sh
	source src/rvmaster/scripts/rvmaster
}

roscore -p 12345 &

export -f startup
gnome-terminal --working-directory=$RVMASTER --execute bash -c "startup ; bash"
